Representation of a class of nondeterministic semiautomata by canonical words
نویسندگان
چکیده
منابع مشابه
Representation of a class of nondeterministic semiautomata by canonical words
It has been shown recently that deterministic semiautomata can be represented by canonical words and equivalences; that work was motivated by the trace-assertion method for specifying software modules. Here, we generalize these ideas to a class of nondeterministic semiautomata. A semiautomaton is settable if, for every state q, there exists a word wq such that q, and no other state, can be reac...
متن کاملRepresentation of Semiautomata by Canonical Words and Equivalences
We study a novel representation of semiautomata, which is motivated by the method of trace-assertion specifications of software modules. Each state of the semiautomaton is represented by an arbitrary word, the canonical word leading to that state. The transitions of the semiautomaton give rise to a right congruence, the state-equivalence, on the set of input words of the semiautomaton: two word...
متن کاملRepresentation of Semiautomata by Canonical Words and Equivalences, Part II: Specification of Software Modules
A theory of representation of semiautomata by canonical words and equivalences was developed in [7]. That work was motivated by trace-assertion specifications of software modules, but its focus was entirely on the underlying mathematical model. In the present paper we extend that theory to automata with Moore and Mealy outputs, and show how to apply the extended theory to the specification of m...
متن کاملa genre analytic study of research papers written by bilingual writers and their beliefs: a case of persian-english writers
تحقیق حاضر گزارشی است از تحلیل بخش مقدمه دو دسته از مقالات که عبارتند از: 11 مقاله از دو نویسنده دوزبانه فارسی زبان, که شامل مقدمه 4 مقاله به زبان انگلیسی و چاپ شده در مجلات بین المللی, مقدمه 3 مقاله به زبان انگلیسی و 4 مقاله به زبان فارسی چاپ شده در مجلات داخلی می شود؛ و 12 مقاله از محققان خارجی که در مجله applied linguistics به چاپ رسیده است. مبنای تئوری این تحلیل ها نظریه سوئلز (1990) یا هما...
15 صفحه اولtranslating allusive devices:a survey of a portrait of the artist as a young man by james joyce
تلمیح یکی از عناصری است که تقریباً در همه ی متون ادبی یافت و باعث ایجاد شکاف های فرهنگی می شود. در این تحقیق به عنوان شکلی از بینامتنیت در ترجمه مورد توجه قرار می گیرد. تلاش شده است تا راهکارهای مترجمان برای ترجمه چهار نوع اسامی خاص و عبارات کلیدی تلمیحی (مذهبی، سیاسی، تاریخی و اسطوره ای) موجود در رمانِ چهره مرد هنرمند در جوانی به فارسی بررسی شود. این تحقیق مقایسه ای بر اساس راهکارهای ترجمه تلمیح...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.01.040